منابع مشابه
Push-Button Verification of File Systems via Crash Refinement
The file system is an essential operating system component for persisting data on storage devices. Writing bug-free file systems is non-trivial, as they must correctly implement and maintain complex on-disk data structures even in the presence of system crashes and reorderings of disk operations. This paper presents Yggdrasil, a toolkit for writing file systems with push-button verification: Yg...
متن کاملComparison-Based File Server Verification
Comparison-based server verification involves testing a server by comparing its responses to those of a reference server. An intermediary, called a “server Tee,” interposes between clients and the reference server, synchronizes the system-under-test (SUT) to match the reference server’s state, duplicates each request for the SUT, and compares each pair of responses to identify any discrepancies...
متن کاملGood ideas deserve repeating.
To the Editor:—In a recent letter, Erickson and Lanier reported on a useful method to preoxygenate claustrophobic patients who will not tolerate a facemask, by having the patients hold the L-connector of the anesthesia circuit in their mouth. They may be interested to know that an identical method, complete with an almost identical photograph, was published as a correspondence by Keifer and Sti...
متن کامل“Blacks Deserve Bodies Too!” Design and Discussion about Diversity and Race in a Teen Virtual World
In this paper, we investigate racial diversity in avatar design and public discussions about race within a large-scale teen virtual world called Whyville.net with more than 1.5 million registered players ages 8-16. One unique feature of Whyville is the players’ ability to customize their avatars with various face parts and accessories, all designed and sold by other players in Whyville. Our fin...
متن کامل"Blacks Deserve Bodies Too!" Design and Discussion about Diversity and Race in a Tween Online World
In this paper, we investigate racial diversity in avatar design and public discussions about race within a large-scale tween virtual world called Whyville.net with more than 1.5 million registered players ages 8-16. One unique feature of Whyville is the players’ ability to customize their avatars with various face parts and accessories, all designed and sold by other players in Whyville. Our fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGOPS Operating Systems Review
سال: 2014
ISSN: 0163-5980
DOI: 10.1145/2626401.2626414